61. Categorical Topology
پدیدآورنده : edited by Eraldo Giuli.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.
62. Closure properties and kripke models for fragments of heyting arithmetic
پدیدآورنده : by: Morteza Moniri,^AMoniri, Morteza
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
63. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
64. Communication: a logical model
پدیدآورنده : Harrah, David
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Content analysis )Communication(,، Information theory
رده :
BC
135
.
H33
65. Computer Mathematics
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
66. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
67. Continuous model theory
پدیدآورنده : Chang, Chen Chung
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
58
68. Continuous model theory
پدیدآورنده : / by Chen Chung Chang, H. Jerome Keisler
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Logic, symbolic and mathematical
رده :
QA9
.
C48
69. Course of mathematical logic
پدیدآورنده : Fraisse, Roland.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
F6513
70. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
71. Decision Criteria and Optimal Inventory Processes
پدیدآورنده : by Baoding Liu, Augustine O. Esogbue.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Distribution (Probability theory),Economics.,Logic, Symbolic and mathematical.
رده :
T57
.
6
B933
1999
72. Distributed Fuzzy Control of Multivariable Systems
پدیدآورنده : by Alexander Gegov.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Systems theory.
73. Elementary end extensions in model theory and set theory
پدیدآورنده : by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Logic, Symbolic and mathematical,Model theory,Set theory
74. Elements of mathematical logic ; model theory
پدیدآورنده : Kreisel, Georg
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971
75. Entity-Relationship Approach - ER '93 :
پدیدآورنده : edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.
76. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
77. Formal Grammar 2018 :
پدیدآورنده : Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational linguistics, Congresses.,Formal languages, Congresses.,Mathematical linguistics, Congresses.,Computational linguistics.,Formal languages.,Mathematical linguistics.
رده :
P98
.
I58
2018eb
78. Foundations of Logic Programming
پدیدآورنده : by John Wylie Lloyd.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
6
B956
1984
79. Fundamentals of mathematical logic /
پدیدآورنده : Peter G. Hinman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
80. Fuzzy Databases :
پدیدآورنده : by Frederick E. Petry.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
